System programming

Results: 6665



#Item
611Computing / LR parser / Parsing / Bottom-up parsing / LL parser / Top-down parsing / Formal grammar / Context-free grammar / Terminal and nonterminal symbols / Formal languages / Software engineering / Programming language implementation

BRICS Basic Research in Computer Science BRICS RS-03-7 Brabrand et al.: The METAFRONT System: Extensible Parsing and Transformation

Add to Reading List

Source URL: www.brics.dk

Language: English - Date: 2003-02-27 03:29:28
612Modular programming / Holism / Münsingen / Modularity

USM Modular Furniture In 1965, USM‘s Haller modular furniture system was the first of USM‘s modular furniture systems to be launched onto the market. It was initially developed by Paul Schärer Jr., an engineering g

Add to Reading List

Source URL: www.usm.com

Language: English - Date: 2013-06-26 04:27:08
613Compiling tools / Build automation / Scripting languages / System administration / Make / Cd / Xcode / Literate programming / Filesystem Hierarchy Standard / Software / Computing / Unix

§1 1. READMEV1.1 COMMENTS ON Yac2 o2 ’S

Add to Reading List

Source URL: ctan.sharelatex.com

Language: English - Date: 2015-02-16 10:00:44
614Finance / Financial economics / 73rd United States Congress / Financial system / Securities / Form 4 / Securities Exchange Act / Filing / Prospectus / United States Securities and Exchange Commission / United States securities law / SEC filings

Staff Statement on Certain Programming Changes to EDGAR for Issuers of Asset-Backed Securities

Add to Reading List

Source URL: edgar.sec.gov

Language: English - Date: 2005-11-07 17:25:16
615Software / Programming paradigms / System administration / Multi-agent systems / Puppet / Declarative programming / CFEngine / E / Database / Information technology management / Configuration management / Computing

Automated Planning for Configuration Changes Herry Paul Anderson Gerhard Wickler LISA Conference, December 2011

Add to Reading List

Source URL: static.usenix.org

Language: English - Date: 2011-12-13 15:29:27
616Functional languages / Recursion / Data types / Type theory / Procedural programming languages / Standard ML / OCaml / Caml / Module / Software engineering / Computer programming / Computing

A Syntactic Type System for Recursive Modules Hyeonseung Im Keiko Nakata Jacques Garrigue

Add to Reading List

Source URL: www.math.nagoya-u.ac.jp

Language: English - Date: 2012-04-16 05:17:54
617Virtual machines / Emulator / Programming language implementation / Binary translation / QEMU / LLVM / OVPsim / LEON / Machine code / System software / Software / Compilers

T-EMU 2.0: The Next Generation LLVM Based Micro-Processor Emulator Dr. Mattias Holm <> ●

Add to Reading List

Source URL: llvm.org

Language: English - Date: 2015-05-07 11:28:28
618Computer programming / Constraint satisfaction / Constraint logic programming / Local consistency / ECLiPSe / CHIP / Constraint / Backtracking / Logic programming / Constraint programming / Declarative programming / Software engineering

Two Problems - Two Solutions: One System ECLiPSe Mark Wallace and Andre Veron AprilIntroduction

Add to Reading List

Source URL: eclipseclp.org

Language: English - Date: 2015-04-07 09:30:53
619Functional programming / Haskell / Literate programming / Glasgow Haskell Compiler / Yi / Monad / Read–eval–print loop / IPython / Python / Software / Computing / Functional languages

Live Haskell  Andrew Stiles    Introduction    Live Haskell is a system which allows users to store and execute arbitrary code online. Live 

Add to Reading List

Source URL: www.scs.stanford.edu

Language: English - Date: 2014-06-12 03:57:46
620Computer programming / Source code / Function / Graph of a function / Parameter / Inverse function / Subroutine / Cartesian coordinate system / Anonymous function / Mathematics / Functions and mappings / Elementary mathematics

The interactiveplot Package Roberto Bock, Javier Toro, Pedro Linares Saturday 20th September, 2014 Abstract A LATEX package for creating multi-parametric explicit 2D and 3D plots that can be interactively controlled by b

Add to Reading List

Source URL: sunsite.informatik.rwth-aachen.de

Language: English - Date: 2014-09-20 20:34:08
UPDATE